Institute for System Programming - PDFSEARCH.IO - Document Search Engine

Institute for System Programming
Results: 57

#	Item
51	Call for Papers International Workshop on ALGORITHMS, MODELS AND TOOLS FOR PARALLEL COMPUTING ON HETEROGENEOUS NETWORKS (_HeteroParâ04_) In association with THIRD INTERNATIONAL SYMPOSIUM ON Add to Reading List Source URL: www.cuc.ucc.ie Language: English - Date: 2013-10-01 11:31:39 Algorithm Parallel programming model Parallel computing Computing Distributed computing Institute for System Programming Heterogeneity
52	ODRA: A Next Generation Object-Oriented Environment for Rapid Database Application Development Michał Lentner and Kazimierz Subieta Polish-Japanese Institute of Information Technology Add to Reading List Source URL: www.ipipan.waw.pl Language: English - Date: 2007-07-20 22:36:38 Data Object database Database Data integration Federated database system Db4o Middleware SQL Object-oriented programming Data management Database management systems Computing
53	Static Dependent Types for First Class Modules Mark A. Sheldon and David K. Giord Laboratory for Computer Science Massachusetts Institute of Technology Abstract Add to Reading List Source URL: www.psrg.lcs.mit.edu Language: English - Date: 2013-07-14 14:56:24 Type theory Type system Standard ML Subroutine Programming language Lambda calculus Type inference Abstraction System F Software engineering Computing Programming language theory
54	Prof. Bernhard Steffen TU Dortmund BIO Add to Reading List Source URL: ls5-www.cs.tu-dortmund.de Language: English - Date: 2013-06-04 07:05:11 Computer science Model checking Software development process Large-scale Complex IT Systems ACM Transactions on Programming Languages and Systems Model-based testing Software engineering Institute for System Programming Brent Hailpern Science Formal methods Software development
55	Elaborating Intersection and Union Types Joshua Dunfield Max Planck Institute for Software Systems Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2012-06-25 20:34:16 Logic in computer science Type theory Lambda calculus Proof theory Combinatory logic Models of computation Standard ML Curry–Howard correspondence Type system Theoretical computer science Mathematics Programming language theory
56	FROM SCIENCE TO BUSINESS Free SCILAB Software Dr. Claude Gomez Add to Reading List Source URL: www.fitt-for-innovation.eu Language: English - Date: 2011-05-13 05:44:35 Software licenses Scilab Computing National Institute for Research in Computer Science and Control Embedded system Free and open source software Free software Mathematical software Array programming languages Software
57	PDF Document Add to Reading List Source URL: muse.jhu.edu Language: English Bernard Galler Computing platforms Galler Michigan Terminal System MAD Association for Computing Machinery IEEE Annals of the History of Computing Bruce Arden Software Patent Institute Computing Procedural programming languages University of Michigan

UPDATE